branching-time temporal logic
分支时间时序逻辑
热门查询
- backless adj. 无背的；无靠背的；无后盾的
- LU abbr. 手太阴肺经 n. (Lu)人名；(缅、柬)卢
- tournedos n. 腓里牛排（复数tournedos）
- enlarger n. [摄] 放大机；扩大者；增补者
- wobbling n. 摆动；颤动 adj. 摇晃的；颤动的 v. 蹒跚；晃动；踌躇（wobble的ing形式）
- DC abbr. 直流电（direct current）；哥伦比亚特区（District of Columbia）；从头重复（da capo）
- hellish adj. 地狱的；凶恶的；令人毛骨悚然的
- biz n. 商业（等于business）
- peaceable adj. 和平的；平静的；温顺的
- Polisario n. 西撒哈拉独立阵线 a. 西撒哈拉独立（或人民解放）阵线的
- indescribably adv. 难以形容地；不明确地
- klick n. 公里（东南亚国家用语） n. (Klick)人名；(德、英)克利克
- reshaping v. 矫形；使…再成形；[建] 重新修整（reshape的ing形式）
- regulations n. [管理] 条例；规程（regulation的复数）；章则
- closeness n. 亲密；接近；密闭；严密
- dissembling vt. 掩饰，掩盖；假装 vi. 隐藏，掩饰（思想、感情等）
- resistance n. 阻力；电阻；抵抗；反抗；抵抗力
- impersonate vt. 扮演；模仿；拟人，人格化
- rotten adj. 腐烂的；堕落的；恶臭的；虚弱的；极坏的 adv. 非常 n. (Rotten)人名；(法、德)罗滕
- harcourt 哈考特（姓氏）
考试词汇表
- oxidation, thermal
- oxidational losses
- oxidationreduction
- oxidationresistant
- oxidationresisting
- oxidative addition
- oxidative capacity
- oxidative catalyst
- oxidative cleavage
- oxidative coupling
- oxidative cracking
- oxidative scission
- oxidative slagging
- oxidative sparging
- oxide electrolysis
- oxide encroachment
- oxide fuel element
- oxide fuel reactor
- oxide layer, doped
- oxide nuclear fuel
